abstract:In commutative algebra, a Gorenstein local ring is a Noetherian commutative local ring R with finite injective dimension, as an R-module. There are many equivalent conditions, some of them listed below, most dealing with some sort of duality condition.